首页> 外文OA文献 >Resource Usage Analysis of Logic Programs via Abstract Interpretation Using Sized Types

【2h】

Resource Usage Analysis of Logic Programs via Abstract Interpretation Using Sized Types

机译：利用大小类型抽象解释逻辑程序的资源利用分析

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
A. Serrano; P. Lopez-garcia; M. V. Hermenegildo;
展开▼
作者单位

展开▼
年度 2015
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Resource Usage Analysis of Logic Programs via Abstract Interpretation Using Sized Types [J] . A. SERRANO, P. LOPEZ-GARCIA, M. V. HERMENEGILDO Theory and Practice of Logic Programming . 2014,第pta4a5期

机译：使用大小类型的抽象解释通过逻辑程序进行资源使用分析
2. Polymorphic type analysis in logic programs by abstract interpretation [J] . Lu LJ. The Journal of Logic Programming . 1998,第1期

机译：通过抽象解释在逻辑程序中进行多态类型分析
3. Static Type Analysis by Abstract Interpretation of Python Programs [J] . Rapha?l Monat, Abdelraouf Ouadjaout, Antoine Min LIPIcs : Leibniz International Proceedings in Informatics . 2020,第2期

机译：静态型分析通过抽象解释Python计划
4. Abstract Interpretation over Non-deterministic Finite Tree Automata for Set-Based Analysis of Logic Programs [C] . John P. Gallagher, German Puebla Practical Aspects of Declarative Languages . 2002

机译：基于集合的逻辑程序分析的非确定有限树自动机的抽象解释
5. Aligning English Sentences with Abstract Meaning Representation Graphs using Inductive Logic Programming [D] . Agarwal, Shubham. 2017

机译：使用归纳逻辑编程将英语句子与抽象含义表示图对齐
6. MIGOU: A Low-Power Experimental Platform with Programmable Logic Resources and Software-Defined Radio Capabilities [O] . Ramiro Utrilla, Roberto Rodriguez-Zurrunero, Jose Martin, 2019

机译：MIGOU：具有可编程逻辑资源和软件定义的无线电功能的低功耗实验平台
7. Resource Usage Analysis of Logic Programs via Abstract Interpretation Using Sized Types [O] . Serrano, Alejandro, Lopez-Garcia, Pedro, Hermenegildo, Manuel V. 2014

机译：基于抽象解释的逻辑程序资源利用分析使用大小类型
8. Bottom-Up Abstract Interpretation of Logic Programs [R] . Codish, M., Dams, D., Yardeni, E. 1992

机译：逻辑程序的自下而上的抽象解释

Resource Usage Analysis of Logic Programs via Abstract Interpretation Using Sized Types

著录项

引文网络

相似文献

相关主题

期刊订阅